$R$$\mid$${\it names}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Rtransform($\lambda$$A$.if R{-}names($A$) and ${\it names}$ overlap then $A$ else Rnone() fi;$R$)